void main() {
	printf("test %i",123); //stdio not included
}
